predicate logic中文是什么意思

发音:

用"predicate logic"造句"predicate logic"怎么读"predicate logic" in a sentence

中文翻译手机版

述词逻辑 [谓词逻辑
谓词演算

"predicate"中文翻译 n. 1.【语法】谓语，述语。 2.【逻辑学】谓项，述项 ...
"logic"中文翻译 n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
"first order predicate logic" 中文翻译 : 一阶谓词逻辑
"first-order predicate logic" 中文翻译 : 一阶谓词逻辑
"predicate logic language" 中文翻译 : 谓词逻辑语言
"third order predicate logic" 中文翻译 : 三阶谓词逻辑
"predicate" 中文翻译 : n. 1.【语法】谓语，述语。 2.【逻辑学】谓项，述项，述词，宾词。 3.本质；属性。 adj. 谓语的，述语的；谓项的，述项的。 vt. 1.论断，断言；断定…为某物的属性；断定某物有…的属性 (about; of)。 2.〔美国〕使(声明、行动等)依据于 (on; upon), 使基于。 3.宣言，宣布，声明。 4.意味着，具有…的含义。 5.【语法】表述。 vi. 断言 (of)。 Can anything be predicated about a non-existent thing 能够表述不存在的东西吗？ (We) predicate of the motive that it is good. (我们)断言这个动机是好的。
"predicate of" 中文翻译 : n变元谓词; 变项谓词
"predicate on" 中文翻译 : 使基于
"actional predicate" 中文翻译 : 动作谓语
"adjective predicate" 中文翻译 : 形容词谓语
"analytic predicate" 中文翻译 : 解析谓词
"arithmetical predicate" 中文翻译 : 算术谓词
"built-in predicate" 中文翻译 : 内部谓词
"causative predicate" 中文翻译 : 起因谓词
"change predicate" 中文翻译 : 变化谓词
"complete predicate" 中文翻译 : 完备谓词
"complex predicate" 中文翻译 : 复合谓语; 复杂谓语
"compound predicate" 中文翻译 : 复合谓语
"computable predicate" 中文翻译 : 可算谓词
"diophantine predicate" 中文翻译 : 刁番图谓词
"discourse predicate" 中文翻译 : 篇章谓词
"enumerating predicate" 中文翻译 : 枚举谓词
"evaluable predicate" 中文翻译 : 可估价谓词; 求值谓词
"factive predicate" 中文翻译 : 叙述性谓词

例句与用法

Drs and the formula of first - order predicate logic
与一阶谓词逻辑公式
On predicate logic ' s application in ai
谓词逻辑在人工智能中的应用
A model representation method based on first order predicate logic
一种基于一阶谓词逻辑的模型表示方法
Theory of quasi - truth degrees of formulas in two - valued predicate logic
一类二值谓词逻辑中公式的准真度理论
Theory of truth degree based on the finite interpretation and enumerable interpretation of fuzzy predicate logic formulas
模糊谓词逻辑公式的有限和可数解释真度理论
The effectiveness of this expert system has been proven during tests , which supplies a gap between the predicate logic and uncertain inference
经过测试,证实了该系统的有效性,弥补了过去谓词在不精确推理方面的缺陷。
Toshio umezawa . on logics intermediate between intuitionistic and classical predicate logic . journal of symbolic logic , 24 ( 2 ) : 141 ? 153 , june 1959
中间逻辑是一个与逻辑学相关的小作品。你可以通过编辑或修订扩充其内容。
I believe that it ' s very useful for computer science students who learning boolean algebra and predicate logic ( like my self )
我相信对于学习布尔代数学和谓词逻辑的计算机科学学生（像我自己这样的）来说它是非常有用的。
Theory of truth degree of first - order fuzzy predicate logics formulas based on the finite interpretation and enumerable interpretation and its application
一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用
Second , the paper introduces the modeling characteristic of uml , provides formalization definition of nine kinds of diagram in uml using predicate logic , and points out their respective functions
其次，本文对uml的建模特性进行了分析和研究，给出了uml中九种图的形式化定义，并指出它们各自的作用。

更多例句： 1 2

用"predicate logic"造句

其他语种

百科解释

In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic, or infinitary logic. This formal system is distinguished from other systems in that its formulae contain variables which can be quantified.

详细百科解释